Conditions for Hierarchical Supervisory Control under Partial Observation
نویسندگان
چکیده
منابع مشابه
Optimal supervisory control under partial observation
In this paper, we formulate the optimal supervisory control problem (OSCP) under partial observation and propose an algorithm to design the optimal nonblocking supervisor (ONS). In addition, we introduce an extended net cost including the observation cost of the events which is taken into account for the cost of setting up a mechanism to sense the events and solve the OSCP with the extended net...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملCentralized and Decentralized Supervisory Control of Nondeterministic Systems under Partial Observation 1 2
In this paper we extend our earlier work on supervisory control of nondeterministic systems using prioritized synchronization as the mechanism of control and trajectory model as the modeling formalism by considering design of supervisors under partial observation. We introduce the notion of observation-compatible systems and show that prioritized synchronous composition of observation-compatibl...
متن کاملSupervisory Control of Real-time Discrete Event Systems under Partial Observation
In this paper, we address the issue of synthesizing an optimal supervisor for real-time discrete event systems modeled by timed automata and under partial observation. Our approach is based on a method of transformation of timed automata into particular finite state automata called Set-Exp-Automata. That is, given the timed automata of the plant and the specification, we construct two Set-Exp-A...
متن کاملSymbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation
We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using abstract interpretation te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2021.04.029